退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在结构化CNF公式上求解maxsaT和#saT
Sigve Hortemo Sæther; Jan Arne Telle; Martin Vatshelle;
机译:分辨率和线性CNF公式:改进(n,3)-maxsat算法
机译:用Quantum Annealer解决SAT(和MAXSAT):基础,编码和初步结果
机译:在FPGA上解决SAT / MaxSAT编码形式验证问题的方法
机译:在结构化CNF公式上求解MaxSAT和#SAT
机译:用DNA计算机解决n变量3 CNF SAT问题
机译:使用部分加权maxSAT建模和求解人员调度
机译:逻辑公式转换程序,SAT解算器程序和SAT难度评估程序
机译:将CNF简化技术应用于基于SAT的抽象细化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。